:-	assert(library_directory('C:\Documents and Settings\Nino\Documenti\CNR\ProgettoPeach\Progetto\SARUMAN\xsb')),
	[odbc_call],
	[basics],
	[aggregs],
	[db],
	[nonDeterministicGoal],
	[compila].
